1. Specification and verification of multi-agent systems /
پدیدآورنده: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification.,Multiagent systems.
رده :
QA76
.
76
.
I58
S64
2010
